4561. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving

رده :
QA
76
.
L28
Vol
.
1158

4562. USB complete

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Parallel programming (Computer science) ; USB (Computer bus) ; Ports (Electronic computer system) ;

4563. UX for Lean Startups : Faster, Smarter User Experience Research and Design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY

رده :
E-BOOK

4564. UX fundamentals for non-UX professionals :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : User interfaces (Computer systems),User-centered system design.,Web sites-- Design.,Art forms.,COMPUTERS-- User Interfaces.,COMPUTERS-- Web-- Design.,Ethical & social aspects of IT.,Information retrieval.,Research & development management.,Technical design.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.,Web sites-- Design.

رده :
QA76
.
9
.
U83

4565. Ubiquitous computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Ubiquitous computing.,Affaires.,Economie de l'entreprise.,Science économique.,Ubiquitous computing.

رده :
QA76
.
5915
.
R47
2010

4566. Ultra-wideband Coherent Optical LANs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer Communication Networks.,Computer science.,Data transmission systems.

رده :
TK5105
.
7
E358
1993

4567. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.

4568. Uncertainty Management in Simulation-Optimization of Complex Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Uncertainty (Information theory),عدم قطعیت (نظریه اطلاعات)

رده :
Q
375
.
U5
2015
E-Book
,

4569. Uncertainty Theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Distribution (Probability theory).,Engineering.,Operations research.

4570. Uncertainty and Vagueness in Knowledge Based Systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Systems theory.

رده :
Q335
.
B978
1991

4571. Understanding Statistics Using

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer science,Computer simulation,Electronic books

رده :
E-BOOK

4572. Understanding Your Users : A Practical Guide to User Research Methods

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :
E-BOOK

4573. Understanding and communicating social informatics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers and civilization.,Computers and civilization.,COMPUTERS-- Information Technology.

رده :
QA76
.
9
.
C66
K54
2005eb

4574. Understanding dynamics of geographic domains /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Dynamics.,Geography-- Computer simulation.,Geography-- Data processing.,Geography-- Mathematics.,Spatial data infrastructures.,Dynamics.,Geography-- Data processing.,Geography-- Mathematics.,Geoinformationssystem,Geoinformationssystem.,Spatial data infrastructures.,Visualisierung,Visualisierung.

رده :
G70
.
2
.
U526
2008

4575. Understanding dynamics of geographic domains

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Geography--Data processing,Geography--Computer simulation,Spatial data infrastructures.,Geography--Mathematics,Dynamics.

رده :
G70
.
2
.
U526
2008

4576. Understanding information systems: What they do and why we need them

پدیدآورنده :

کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)

موضوع : Information science‌-Research-Methodology,Information storage and retrieval systems‌,Computer science-Popular works,Mathematics-Popular works

رده :
Z
665
.
R3
2004

4577. Understanding learning in virtual worlds /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Educational technology,Human-computer interaction,Virtual reality in education

رده :
LB1044
.
87

4578. Understanding mobile human-computer interaction /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Human-computer interaction.,Mobile computing.,COMPUTERS-- Hardware-- Personal Computers-- Macintosh.,COMPUTERS-- Hardware-- Personal Computers-- PCs.,Human-computer interaction.,Mobile computing.

رده :
QA76
.
59
.
L68
2005eb

4579. Understanding models for learning and instruction :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Instructional systems-- Design.,Learning, Psychology of.,Teaching.,Design pédagogique.,Psychologie de l'apprentissage.,EDUCATION-- Computers & Technology.,Education.,Instructional systems-- Design.,Instructional systems-- Design.,Learning, Psychology of.,Learning, Psychology of.,Sciences humaines.,Sciences sociales.,Teaching.,Teaching.

رده :
LB1028
.
38
.
U56
2008eb

4580. Understanding political science statistics using stata :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Stata.,Stata.,Political statistics.,Statistics-- Computer programs.,Political statistics.,Statistics-- Computer programs.

رده :
JA71
.
7
.
S45
2015